181. Logic programming'87 : Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987
پدیدآورنده : K. Furukawa, H. Tanaka, T. Fujisaki )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
315
182. Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings
پدیدآورنده : A. Voronkov, ed
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
624
183. Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses,، Automatic theorem proving-- Congresses
رده :
QA
76
.
63
.
I55
1992
184. Logic programming and automated reasoning : international conference, LPAR 92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
پدیدآورنده : LPAR, )1992 : Saint Petersburg, Russia(
کتابخانه: (طهران)
موضوع : Logic programming - Congresses , Automatic theorem proving - Congresses
رده :
QA
76
.
63
.
I55
1992
185. Logic programming and automated reasoning : 5th International Conference, LPAR'94 Kiev, Ukraine, July 16-22, 1994 : proceedings
پدیدآورنده : Frank Pfenning )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
822
186. Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings
پدیدآورنده : A. Voronkov, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
698
187. Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
پدیدآورنده : Harald Ganzinger, David McAllester, Andrei Voronkov, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1705
188. Logic programming and knowledge representation : Third International Workshop, LPKR'97 : Port Jefferson, New York, USA, October 1997 : selected papers
پدیدآورنده : Jurgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Knowledge representation )Information theory(
رده :
QA
76
.
L28
Vol
.
1471
189. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses,Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L74
1999
190. Logic programming and nonmonotonic reasoning
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Logic programming congresses,Nonmonotonic reasoning congresses
رده :
QA
,
76
.
63
,.
L74
191. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
پدیدآورنده : Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265
192. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
پدیدآورنده : Chitta Baral... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
193. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
194. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده : Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
195. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
196. Logic programming in action: Second international Logic programming summer school, LPSS'92: proceedings
پدیدآورنده : G. Comyn, N.E. Fuchs, M. Ratcliffe )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
636
197. Logic programming in action; Second international logic programming Summer School, LPSS'92, Zurich, Switzerland, September 7-11, 1992: Proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L66
1992
198. Logic programming '88: proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L63
1989
199. Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985
پدیدآورنده : edited by Eiiti Wada
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L4
v
.
221
200. Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming-- Congresses
رده :
QA
76
.
6
.
L58762
1988
